Logic and Intensionality DOI:10.5007/1808-1711.2010v14n1p111
نویسندگان
چکیده
منابع مشابه
Probabilistic Logic: Many-valuedness and Intensionality
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computation of probabilities and for reasoning about probabilities, with a well-defined syntax and semantics. Both current approaches, based on Nilsson’s probability structures/logics, and on linear inequalities in order to rea...
متن کاملFirst-order Logic: Modality and Intensionality
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Although there is divergence in formulation, it is accepted that the extension of an idea consists of the subjects to which the idea applies, and the intension consists of the attributes implied by the idea. From the Montague...
متن کاملAnaphora and Intensionality in Classical Logic
The dynamic per^)ective on natural language suggests that texts change the value o f contextual parameteis in much the way computer programs change the value o f program variables. One phenomenon where dynamic aspects emerge is that o f anaphora (introduction o f referents for later a n ^ h o ric links), but intensionality and tense are other candidate phenomena. However, most logics used in co...
متن کاملType-theoretic logic with an operational account of intensionality
Classical intensional semantic representation languages, like Montague (1974)’s Intensional Logic (IL), do not accommodate fine-grained intensionality. Montague, following Carnap (1947), characterizes intensions as functions from worlds (indices of worlds and times) to denotations, and so reduces intensional identity to equivalence of denotation across possible worlds. As has frequently been no...
متن کاملIntensionality of modal logic for Robust Ambient Calculus
Computation with mobility becomes a novel distributed computation paradigm with the development of network technology. The calculus of Mobile Ambient is a widely studied formal mechanism for describing both mobile computing and mobile computation. To improve this process calculus, Robust Mobile Ambient is introduced by providing co-actions. This paper deals with the modal logic for finite fragm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Principia: an international journal of epistemology
سال: 2011
ISSN: 1808-1711,1414-4247
DOI: 10.5007/1808-1711.2010v14n1p111